Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rust: Improve models for environment sources, iterators #18621

Merged
merged 6 commits into from
Feb 7, 2025

Conversation

geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Jan 29, 2025

Following on from #18605 , this pull request contains another upgrade to the sources (addition of container .Element content) and adds models of Iterator::nth and Iterator::collect so that we reach more sinks in the tests.

@geoffw0 geoffw0 added no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code labels Jan 29, 2025
@Copilot Copilot bot review requested due to automatic review settings January 29, 2025 09:23
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot reviewed 5 out of 5 changed files in this pull request and generated no comments.

Tip: Copilot only keeps its highest confidence comments to reduce noise and keep you focused. Learn more

@geoffw0
Copy link
Contributor Author

geoffw0 commented Jan 29, 2025

DCA LGTM. Not very eventful.

Copy link
Contributor

@paldepind paldepind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! The changes in rust/ql/test/utils-tests/modelgenerator/summaries.rs are already on main. Not sure if that's a problem when merging.

@geoffw0
Copy link
Contributor Author

geoffw0 commented Feb 7, 2025

The changes in rust/ql/test/utils-tests/modelgenerator/summaries.rs are already on main. Not sure if that's a problem when merging.

Yeah I noticed we both fixed that. The merge button is green so it should be fine.

@geoffw0 geoffw0 merged commit b5c0754 into github:main Feb 7, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants